(0 17 15)(1 19 3)(2 6 4)(5 14 8)(7 20 10)(9 16 11)(12 18 13)
ALLOWS (11/8)-SEQUENCE
1: (7 9 10)

(0 17 15)(1 19 3)(2 6 4)(5 14 8)(7)(9 20 10 16 11)(12 18 13)
2: (10 16 20)

(0 17 15)(1 19 3)(2 6 4)(5 14 8)(7)(9 20 11)(10)(12 18 13)(16)
3: (0 17 15)

(0)(1 19 3)(2 6 4)(5 14 8)(7)(9 20 11)(10)(12 18 13)(15)(16)(17)
4: (9 20 11)

(0)(1 19 3)(2 6 4)(5 14 8)(7)(9)(10)(11)(12 18 13)(15)(16)(17)(20)